例句與造句

1. Logic Theorist soon proved 38 of the first 52 theorems in chapter 2 of the " Principia Mathematica ".
2. Pamela McCorduck writes that the Logic Theorist was " proof positive that a machine could perform tasks heretofore considered intelligent, creative and uniquely human ".
3. Pamela McCorduck also sees in the Logic Theorist the debut of a new theory of the mind, the information processing model ( sometimes called computationalism ).
4. ;Reasoning as search : Logic Theorist explored a search tree : the root was the initial hypothesis, each branch was a deduction based on the rules of logic.
5. ;List processing : To implement Logic Theorist on a computer, the three researchers developed a programming language, Lisp programming language, an important language still used by AI researchers.
6. It's difficult to find logic theorist in a sentence. 用logic theorist造句挺難的
7. IPL was used to implement several early artificial intelligence programs, also by the same authors : the Logic Theorist ( 1956 ), the General Problem Solver ( 1957 ), and their computer chess program NSS ( 1958 ).
8. His work came to the attention of economist ( and future nobel laureate ) Herbert A . Simon, and, together with programmer J . C . Shaw, they developed the first true artificial intelligence program, the Logic Theorist.
9. Others say that it began before that with the 1955 Logic Theorist program of Newell, Shaw and Simon, or with Martin Davis 1954 implementation of verification technology in many of their internal projects and is planning to include a logical specification and checking language in their 2012 version of Visual C.
10. Herbert A . Simon ( 1981 ) cites the work of one W黵zburg psychologist in particular, Otto Selz ( 1881 1943 ), for having inspired him to develop his famous problem-solving computer algorithms ( such as Logic Theorist and General Problem Solver ) and his " thinking out loud " method for protocol analysis.
11. "' Logic Theorist "'( LT ) was the first ever program developed in 1956 by Allen Newell, Cliff Shaw and Herbert A . Simon to " mimic human reasoning " in proving theorems and was demonstrated on fifty-two theorems from chapter two of Principia Mathematica, proving thirty-eight of them.